proof by infinite descent - French English Dictionary